auxiliary tools - German English Dictionary